L. F. De Pourtales
نویسندگان
چکیده
منابع مشابه
+l ( L-L--f.
15 evaluate the correction term for each triple in the left side of table 1, but for brevity of exposition we will evaluate this term only for a sample of each class (T 2 and T 4).
متن کاملT F L T C E F L
We survey recent results on the enumeration of formal languages. In particular, we consider enumeration of regular languages accepted by deterministic and nondeterministic finite automata with n states, regular languages generated by regular expressions of a fixed length, and ω-regular languages accepted by Müller automata. We also survey the uncomputability of enumeration of context-free langu...
متن کاملT L C S C T F O U L: E F P L L D
A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existential fixed-point logic. The exposition is self-contained.
متن کاملDépartement De Physique De L ’
This thesis reports on the construction of a new experimental apparatus aiming to study, at ultracold temperatures, a quantum degenerate gas mixture of two different atomic species of fermionic nature: Li and K. A detailed description of the design and implementation as well as a characterization of the apparatus is presented. We have realized a very large atom number dual-species magneto-optic...
متن کاملDe L ’ Université De Grenoble
.......................................................................................................................... i Résumé ......................................................................................................................... iii Acknowledgements .................................................................................................................... v Tab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1880
ISSN: 0028-0836,1476-4687
DOI: 10.1038/022371a0